($\lambda$$r$,$n$,$u$,$z$. $n$ $\cdot$$r$ $u$) $\in$ $r$:Rng$\rightarrow\mathbb{N}\rightarrow\mid$$r$$\mid\rightarrow$($\downarrow$True)$\rightarrow\mid$$r$$\mid$